-
1 строгое доказательство
-
2 строгое доказательство
Русско-английский технический словарь > строгое доказательство
-
3 строгое доказательство
1) General subject: strong grounds2) Mathematics: strict demonstration, strong evidence3) Physics: rigorous proofУниверсальный русско-английский словарь > строгое доказательство
-
4 строгое доказательство
Русско-английский политехнический словарь > строгое доказательство
-
5 строгое доказательство
Русско-английский физический словарь > строгое доказательство
-
6 строгое доказательство
rigorous proof, strong proof, strict demonstration, strong evidenceРусско-английский научно-технический словарь Масловского > строгое доказательство
-
7 строгое доказательство
Русско-английский синонимический словарь > строгое доказательство
-
8 доказательство
с.proof, evidence; argumentпри доказательстве этой теоремы... — in proving this theorem
- доказательство от противногоэто доказательство не является убедительным — this evidence is not convincing, this evidence is not conclusive
- доказательство существования
- квантовостатистическое доказательство
- косвенное доказательство
- неопровержимое доказательство
- строгое доказательство
- убедительное доказательство
- экспериментальное доказательство -
9 доказательство
1) argument
2) <math.> demonstration
3) evidence
4) proof
– доказательство от противного
– доказательство существования
– косвенное доказательство
– несводимое доказательство
– строгое доказательство
доказательство адекватности модели — model validation
-
10 доказательство
2) evidence (научные данные, признаки)Русско-английский словарь терминов по микробиологии > доказательство
-
11 строгий
(см. также формальный, верный) rigorous, strict, close, rigid, severe• Не вдаваясь в строгие рассмотрения, обсудим вкратце... - Without giving a rigorous treatment we briefly discuss...• Не делая попыток более строгого обсуждения, мы просто заметим, что... - Without attempting a more rigorous discussion, we merely note that...• Относительно строгого вывода соотношения (12) читатель должен обратиться к работе Смита [1]. - For a rigorous derivation of (12) the reader is referred to Smith [1].• Приведем строгое доказательство. - The formal proof is as follows.• Следующая теорема показывает как можно сделать это определение строгим. - The following theorem shows how this notion can be made precise.• Строгая теория должна принимать во внимание (эффект и т. п.). - A comprehensive theory must account for...• Строгое обсуждение будет дано в главе 2. - A rigorous discussion will be given in Chapter 2.• Строгое рассмотрение задачи показывает, что... - A rigorous treatment of the problem shows that...• Теперь мы построим строгую версию предыдущего рассуждения. - We shall now construct a rigorous version of the above argument.• Этим устанавливается довольно строгая форма (чего-л). - This establishes a rather strong form of...• Это нестрогое рассуждение приводит нас к... - This crude argument leads to... -
12 строго
нареч. мат. rigorouslyСинонимический ряд:1. жесткий (прил.) железный; жесткий2. правильный (прил.) классический; правильный3. суровый (прил.) суровый4. требовательный (прил.) взыскательный; требовательныйАнтонимический ряд: -
13 строгий
1. rigorous2. strict -
14 _ЛАТИНСКИЕ СЛОВА И УСТОЙЧИВЫЕ СОЧЕТАНИЯ
ab abrupto — внезапно, сразу
ad arbitrium — произвольно, по усмотрению
ad finem — сокр. ad fin. до конца (страницы и т.п.)
ad interim — сокр. ad int., a.i. в течение некоторого времени; временный; на время
ad oculos — наглядно, воочию
ad verbum — буквально, дословно
alieni juris — несамостоятельный, находящийся под властью другого
Anno Domini — сокр. A.D. в такой-то год нашей эры
a posteriori — на основании опыта; задним числом
causa criminalis — повод к обвинению; уголовное дело
consensus — единодушие; консенсус; согласие
corpus delicti — состав преступления; вещественное доказательство
de facto — в действительности; на деле; фактически
dictum | ta — афоризм; изречение; мнение судьи
et alii — сокр. et al. и другие
ex commodo — в удобное время; по усмотрению
ex consilio — в результате обсуждения; по совету
ex post — задним числом; после, позже
exprompto — внезапно, неожиданно
ex proprio sinu — из самой сути; из самого существа
ex termino facto — немедленно; сразу
gratis — безвозмездно, даром; бескорыстно
ibidem — сокр. ib., ibid. там же (в сносках)
in absentia — без личного присутствия; в отсутствие
in brevi — вкратце, кратко
in esse — действительный, существующий
in extremis — в крайности; в последний момент
in fidem — по договорённости; по доверию
in grosso — в большом количестве, оптом
in margine — сокр. i.m. на полях
in mente — в сознании; в уме
in praesenti — в настоящее время, теперь
in puncto — относительно, что касается
in re — в действительности; фактически
in status quo — в состоянии, существующем теперь
ipsissima verba — слово в слово; совершенно точно
jus strictum — строгая законность; строгое право
justus titulus — законное основание (чего-л), правооснование
loco citato — сокр. loc.cit.; l.c. в цитированном месте
nota bene — сокр. NB заметь хорошо (отметка на полях книги и т.п.)
opus citatum — сокр. op.cit.; op.c. цитированное сочинение
persona non grata — нежелательное лицо, персона нон грата
prima facie — на первый взгляд; с первого раза
qui pro quo — одно вместо другого; путаница; смешение понятий
semper idem — всегда то же самое; одно и то же
sine jure — без права; незаконно
ubi non est lex, ibi non est transgressio — где нет закона, там нет и нарушения
via — через, при чьём-л посредстве
videlicet — сокр. viz а именно, то есть; например
quod erat demonstrandum — сокр. Q.E.D., q.e.d. что и требовалось доказать; само собой разумеется
strictissimo sensu — = stricto
Русско-английский юридический словарь > _ЛАТИНСКИЕ СЛОВА И УСТОЙЧИВЫЕ СОЧЕТАНИЯ
-
15 Латинские слова и устойчивые сочетания
ab abrupto — внезапно, сразу
ad arbitrium — произвольно, по усмотрению
ad finem — сокр. ad fin. до конца (страницы и т.п.)
ad interim — сокр. ad int., a.i. в течение некоторого времени; временный; на время
ad oculos — наглядно, воочию
ad verbum — буквально, дословно
alieni juris — несамостоятельный, находящийся под властью другого
Anno Domini — сокр. A.D. в такой-то год нашей эры
a posteriori — на основании опыта; задним числом
causa criminalis — повод к обвинению; уголовное дело
consensus — единодушие; консенсус; согласие
corpus delicti — состав преступления; вещественное доказательство
de facto — в действительности; на деле; фактически
dictum | ta — афоризм; изречение; мнение судьи
et alii — сокр. et al. и другие
ex commodo — в удобное время; по усмотрению
ex consilio — в результате обсуждения; по совету
ex post — задним числом; после, позже
exprompto — внезапно, неожиданно
ex proprio sinu — из самой сути; из самого существа
ex termino facto — немедленно; сразу
gratis — безвозмездно, даром; бескорыстно
ibidem — сокр. ib., ibid. там же (в сносках)
in absentia — без личного присутствия; в отсутствие
in brevi — вкратце, кратко
in esse — действительный, существующий
in extremis — в крайности; в последний момент
in fidem — по договорённости; по доверию
in grosso — в большом количестве, оптом
in margine — сокр. i.m. на полях
in mente — в сознании; в уме
in praesenti — в настоящее время, теперь
in puncto — относительно, что касается
in re — в действительности; фактически
in status quo — в состоянии, существующем теперь
ipsissima verba — слово в слово; совершенно точно
jus strictum — строгая законность; строгое право
justus titulus — законное основание (чего-л), правооснование
loco citato — сокр. loc.cit.; l.c. в цитированном месте
nota bene — сокр. NB заметь хорошо (отметка на полях книги и т.п.)
opus citatum — сокр. op.cit.; op.c. цитированное сочинение
persona non grata — нежелательное лицо, персона нон грата
prima facie — на первый взгляд; с первого раза
qui pro quo — одно вместо другого; путаница; смешение понятий
semper idem — всегда то же самое; одно и то же
sine jure — без права; незаконно
ubi non est lex, ibi non est transgressio — где нет закона, там нет и нарушения
via — через, при чьём-л посредстве
videlicet — сокр. viz а именно, то есть; например
quod erat demonstrandum — сокр. Q.E.D., q.e.d. что и требовалось доказать; само собой разумеется
strictissimo sensu — = stricto
Русско-английский юридический словарь > Латинские слова и устойчивые сочетания
-
16 формальная модель политики безопасности
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Русско-английский словарь нормативно-технической терминологии > формальная модель политики безопасности
См. также в других словарях:
ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… … Философская энциклопедия
Стеклянный электрод — Эту статью следует викифицировать. Пожалуйста, оформите её согласно правилам оформления статей. У этого термина есть и другие значения, см. Электрод (значения) Стеклянные электроды … Википедия
Пи (число) — У этого термина существуют и другие значения, см. Пи (значения). Иррациональные числа γ ζ(3) √2 √3 √5 φ α e π δ Система счисления Оценка числа … Википедия
ИНТУИЦИЯ — (от позднелат. intuitio, от лат. intueor пристальное, внимательное всматривание, созерцание) способность к прямому усмотрению истины, постижению ее без всякого рассуждения и доказательства. Для И. обычно считаются типичными неожиданность,… … Философская энциклопедия
ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… … Православная энциклопедия
Коэффициент корреляции — (Correlation coefficient) Коэффициент корреляции это статистический показатель зависимости двух случайных величин Определение коэффициента корреляции, виды коэффициентов корреляции, свойства коэффициента корреляции, вычисление и применение… … Энциклопедия инвестора
ВОЗМОЖНЫХ ПЕРЕМЕЩЕНИЙ ПРИНЦИП — виртуальных скоростей принцип, дифференциальный вариационный принцип классической механики, выражающий наиболее общие условия равновесия механических систем, стесненных идеальными связями. Согласно В. п. п. механич. система находится в равновесии … Математическая энциклопедия
CPT-инвариантность — Аромат в физике элементарных частиц п·Ароматы и квантовые числа: Лептонное число … Википедия
ГРИГОРИЙ РИМИНИЙСКИЙ — [Григорий из Римини; лат. Gregorius Ariminensis, de Arimino] (ок. 1300, Римини, совр. обл. Эмилия Романья нояб. 1358, Вена), итал. средневек. богослов, философ и естествоиспытатель, член ордена братьев отшельников блж. Августина (см. Августинцы… … Православная энциклопедия
интуиция — (от лат. intuitio пристальное, внимательное всматривание, созерцание) способность к прямому усмотрению истины, постижению ее без всякого рассуждения и доказательства. Для И. обычно считаются типичными неожиданность, невероятность,… … Словарь терминов логики
Число π — Если принять диаметр окружности за единицу, то длина окружности это число «пи». Число π (произносится «пи») математическая константа, выражающая отношение длины окружности к длине её диаметра. Обозначается буквой греческого алфавита «пи».… … Википедия